

<html>
    <head>
      <title>CBMC</title>
      <link rel="stylesheet" type="text/css" href="/viewer.css">
    </head>
  
    <body>
      <h1>CBMC report</h1>
  
      <div class="coverage">
        <h2>Coverage</h2>
        
  
        
        
        <p>
          Coverage: 0.31 (reached 35 of 114 reachable lines)
        </p>
        
  
        
        
        <table class="coverage">
          <tr>
            <th class="coverage">Coverage</th>
            <th class="function">Function</th>
            <th class="file">File</th>
          </tr>
          
          <tr>
            <td class="coverage">0.81 (29/36)</td>
            <td class="function"><a href="./portable/MemMang/heap_5.c.html#442">vPortDefineHeapRegions</a></td>
            <td class="file"><a href="./portable/MemMang/heap_5.c.html">portable/MemMang/heap_5.c</a></td>
          </tr>
          
          <tr>
            <td class="coverage">0.43 (6/14)</td>
            <td class="function"><a href="./cbmc/proofs/pvPortMalloc/pvPortMalloc_harness.c.html#10">harness</a></td>
            <td class="file"><a href="./cbmc/proofs/pvPortMalloc/pvPortMalloc_harness.c.html">cbmc/proofs/pvPortMalloc/pvPortMalloc_harness.c</a></td>
          </tr>
          
          <tr>
            <td class="coverage">0.00 (0/17)</td>
            <td class="function"><a href="./portable/MemMang/heap_5.c.html#379">prvInsertBlockIntoFreeList</a></td>
            <td class="file"><a href="./portable/MemMang/heap_5.c.html">portable/MemMang/heap_5.c</a></td>
          </tr>
          
          <tr>
            <td class="coverage">0.00 (0/33)</td>
            <td class="function"><a href="./portable/MemMang/heap_5.c.html#155">pvPortMalloc</a></td>
            <td class="file"><a href="./portable/MemMang/heap_5.c.html">portable/MemMang/heap_5.c</a></td>
          </tr>
          
          <tr>
            <td class="coverage">0.00 (0/14)</td>
            <td class="function"><a href="./portable/MemMang/heap_5.c.html#295">vPortFree</a></td>
            <td class="file"><a href="./portable/MemMang/heap_5.c.html">portable/MemMang/heap_5.c</a></td>
          </tr>
          
        </table>
      </div>
      
  
      
  
      <div class="warnings">
        <h2> Warnings</h2>
        
  
        
  
        
  
        
  
        
        None
        
  
      <div class="errors">
        <h2>Errors</h2>
        
  
        
        <ul>
          <li>Loop unwinding failures
            <ul>
              
              <li> [<a href="./traces/vPortDefineHeapRegions.unwind.0.html">trace</a>]
                vPortDefineHeapRegions.unwind.0
                in line
                <a href="./portable/MemMang/heap_5.c.html#456">456</a>
                in file
                <a href="./portable/MemMang/heap_5.c.html">portable/MemMang/heap_5.c</a>
              </li>
              
            </ul>
          </li>
        </ul>
        
  
        
  
        
  
        
  
      </div>
    </body>
  </html>
  